|
In dieser Diplomarbeit wird der Prototyp eines Werkzeugs zur
syntaktischen Analyse dynamisch erweiterbarer Spezifikationssprachen
entwickelt. Dabei werden zunächst theoretische Grundlagen über
Compilerbau und formale Sprachen vermittelt. Dann wird ein
Grundgerüst einer dynamisch erweiterbaren Sprache vorgestellt. Die
Sprache besitzt ein Sprachkonstrukt, das es erlaubt, die ihr
zugrundeliegende Grammatik um neue Sprachkonstrukte und neue
Schlüsselworter zu erweitern. Anschließend werden die Probleme
aufgezeigt, die bei der Syntaxanalyse dieser Sprache mit dem
konventionellen Scanner-Parser-System auftreten. Dabei werden
Lösungswege entwickelt, die anschließend in einem Gesamtkonzept
vorgestellt werden.
Die Analyse wird schließlich mit einem Gespann aus LR-Parser und
Steuertabellengenerator erreicht. Dazu werden, für die
verschiedenen Spracherweiterungen, zur Laufzeit Steuertabellen für
LR-Parser generiert. Für den lokal begrenzten Gültigkeitsbereich
der Spracherweiterung wird dann ein LR-Parser mit dieser neuen
Steuertabelle instanziiert und gestartet. Die neuen
Schlüsselwörter, die die Spracherweiterung einführt, werden durch
Eintrag in eine spezielle Schlüsselworttabelle durch den Scanner
erkannt.
|